Denotational Semantics of A User-Oriented, Domain-Specific Language
نویسندگان
چکیده
منابع مشابه
Denotational Semantics of A User-Oriented, Domain-Specific Language
This paper presents the formal definition of a domain-specific language, named Pantagruel, following the methodology proposed by David Schmidt for language development. This language is dedicated to programming applications that orchestrate networked entities. It targets developers that are professionals in such domains as building management and assisted living, and want to leverage networked ...
متن کاملDenotational Semantics of a Parallel Object-Oriented Language
A denotational model is presented for the language POOL, a parallel objectoriented language. It is a syntactically simplified version of POOL-T, a language that is actually used to write programs for a parallel machine. The most important aspect of this language is that it describes a system as a collection of communicating objects that all have internal activities which are executed in paralle...
متن کاملThe denotational and static semantics of a domain-specific language for flow-network design
Flow networks are inductively defined, assembled from small network modules to produce arbitrarily large ones, with interchangeable and expanding functionallyequivalent parts. We carry out this induction formally using a domain-specific language (DSL). Associated with our DSL is a typing system (or static semantics), a system of formal annotations that enforce desirable properties of flow netwo...
متن کاملUsing Denotational Semantics in the Validation of the Compiler for a Mutation-Oriented Language
Systems which produce large amount of output are very difficult to teste due to the expense of checking whether the outputs are correct or not. In other words, there is no simple oracle that can establish the acceptance of the outputs. For such systems, one plausible alternative is to use a second implementation as an automated oracle. The automated oracle is then run with the test cases applie...
متن کاملThe Denotational Semantics of a Functional Tree-Manipulation Language
The programming language TXL combines features of functional languages with a pattern-matching and failure-handling paradigm, designed for expressing tree-manipulation algorithms. The semantic problems, caused by the interaction of evaluation and pattern matching, are solved by choosing a suitable denotation for patterns and failure. There is no need for general continuations. The programming l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2013
ISSN: 2075-2180
DOI: 10.4204/eptcs.129.14